Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
111	Last Lecture[removed]SICP Variations on a Scheme • Last time, we built up an interpreter for a new language, scheme* Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-04-26 11:45:49 Eval Env Scope Free variables and bound variables Racket features Computing Software engineering Scheme
112	Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-08-06 05:03:43 Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics
113	Supercompilation: Ideas and Methods by Ilya Klyuchnikov [removed] and Dimitur Krustev [removed] Supercompilation (supervised compilation) is a program transformation technique based on the Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2014-04-23 23:52:49 Procedural programming languages Control flow Eval ALGOL 68 Function Free variables and bound variables Computing Software engineering Mathematics
114	Flow-Sensitive Type Recovery in Linear-Log Time ∗ Michael D. Adams Andrew W. Keep Jan Midtgaard Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Theoretical computer science Applied mathematics
115	c 2008 Cambridge University Press JFP 18 (5 & 6): 821–864, 2008. 821 doi:[removed]S0956796808006941 First published online 12 August 2008 Printed in the United Kingdom Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Software engineering Mathematical notation Abstract interpretation Lambda calculus Abstraction Free variables and bound variables Garbage collection Pointer Computing Mathematics Data types
116	JFP 18 (4): 437–502, [removed]c 2007 Cambridge University Press 437 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-06-06 08:53:06 Logic in computer science Lambda calculus Models of computation Computability theory Free variables and bound variables Name binding Operational semantics Simply typed lambda calculus Π-calculus Theoretical computer science Applied mathematics Mathematics
117	Improving Flow Analyses via ΓCFA Abstract Garbage Collection and Counting Matthew Might Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Computability theory Lambda calculus Theoretical computer science Abstract interpretation Free variables and bound variables Eval Computing Mathematics Software engineering
118	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
119	Publ[removed]Issue ch1 Page 187 Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2009-05-01 13:59:03 Personal pronouns Generative linguistics Pronouns Reflexive pronoun Free variables and bound variables Binding Singular they Gender-neutral pronoun Relative clause Linguistics Syntax Semantics
120	The NEXT Framework for Logical Xquery Optimization Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:04 4GL XQuery Conjunctive query FLWOR Free variables and bound variables List comprehension SQL R-tree Computing Query languages XML